Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Automated Protocol Synthesis & Validation for Multi-Modal Scientific Data Streams
dev.to·7h·
Discuss: DEV
⚙️Proof Engineering
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Orchestrating Multi-Agent Systems: Google ADK, A2A, and Temporal
medium.com·1d·
Discuss: Hacker News
⚙️TLA+
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
GUARD: Guideline Upholding Test through Adaptive Role-play and Jailbreak Diagnostics for LLMs
arxiv.org·2d
🧪CBOR Fuzzing
What is a large language model?
proton.me·1d
💻Local LLMs
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·8h
🏗️Constructive Analysis
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Applied AI Fundamentals: Structured Outputs
ouachitalabs.com·14h·
Discuss: Hacker News
📝Concrete Syntax
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·12h·
Discuss: Hacker News
🔗Archive Combinators
Adding Conversational AI: Converting Natural Language into JSON Actions
chariotsolutions.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·16h·
Discuss: DEV
📝ABNF Parsing
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects